Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
351	Microsoft PowerPoint - 7thICCC TL-LETI propal4.ppt Add to Reading List Source URL: www.commoncriteriaportal.org Language: English - Date: 2011-10-31 12:04:31 Formal verification Computer science Formal specification Software development process Validation Formal methods Applied mathematics Science
352	A Closer Look at Aspect Interference and Cooperation Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-01-24 04:02:45 Aspect-oriented programming Logic in computer science Formal methods Philosophical logic Grammatical aspect Economic model AspectJ Formal verification Modal logic Software development Software Aspect-oriented software development
353	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
354	Synthesis of Reconfiguration Charts12 Technical report Tobias Eckardt and Stefan Henkler Heinz Nixdorf Institute Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:37:41 ISO standards Software architecture Diagrams Knowledge representation Unified Modeling Language Component-based software engineering System Formal verification Mechatronics Software engineering Science Computing
355	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
356	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
357	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
358	Vis-`a-vis Cryptography: Private and Trustworthy In-Person Certifications Ian Miers∗ Matthew Green∗ Christoph U. Lehmann, MD† Add to Reading List Source URL: sharps.org Language: English - Date: 2012-10-09 12:57:09 Non-interactive zero-knowledge proof Zero-knowledge proof IP Commitment scheme Alice and Bob NP Public-key cryptography Formal verification Digital signature Cryptography Cryptographic protocols Proof of knowledge
359	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
360	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering

UPDATE